Ideals of étale groupoid algebras and Exel’s Effros–Hahn conjecture

We extend to arbitrary commutative base rings a recent result of Demeneghi that every ideal an ample groupoid algebra over field is intersection kernels induced representations from isotropy groups, with much shorter proof, by using the author's Disintegration Theorem for representations. also prove primitive kernel representation group; however, we are unable show, in general, it irreducible representation. If each group finite (e.g., if principal) and ring Artinian field), then can show isotropy.